axiom as guide for consistency

当作相容性指南的公理